direct sum

n : a union of two disjoint sets in which every element is the

sum of an element from each of the disjoint sets